20.87/20.94	unsat
