12.68/13.43	unsat
