13.67/16.45	unsat
