13.45/14.28	unsat
