18.25/21.54	unsat
