14.05/14.44	unsat
