18.53/22.21	unsat
