15.34/17.77	unsat
