10.87/13.44	unsat
