18.69/24.03	unsat
