18.48/21.61	unsat
