12.15/14.68	unsat
