14.36/14.40	unsat
