18.45/21.61	unsat
