12.28/14.42	unsat
