12.80/12.86	unsat
