19.57/21.45	unsat
