21.79/27.62	unsat
