11.97/13.44	unsat
