18.79/21.01	unsat
