13.67/16.61	unsat
