20.34/28.19	unsat
