12.45/12.65	unsat
