18.87/20.90	unsat
