18.64/20.21	unsat
