14.27/16.61	unsat
