13.55/16.74	unsat
