13.67/16.95	unsat
