14.26/16.61	unsat
