10.97/14.44	unsat
